php extract only integer from string